existential quantifier 指数理逻辑中的存在量词，符号通常写作 ∃，表示“存在至少一个对象使得某个命题为真”。（在形式语言里常读作 “there exists … such that …”。）
/ˌɛɡzɪˈstɛnʃəl ˈkwɑːntɪˌfaɪər/
There exists a solution to this equation.
这个方程存在一个解。
In first-order logic, the existential quantifier asserts that at least one element in the domain satisfies the predicate.
在一阶逻辑中，存在量词断言：论域中至少有一个元素满足该谓词。
existential 来自拉丁语 exsistere（“出现、存在”），经法语/中古英语发展为“关于存在的”。quantifier 源自拉丁语 quantus（“多少”），在逻辑学中专指对变量进行“数量范围”限定的符号或表达。合在一起即“用来表达‘存在多少（至少一个）’的量词”。
Select Language